Trouver la paix : avant-propos

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Paix (be)

David Akehurst University of Kent (UK) Gabriela Ar evalo Universit  at Bern (CH) Thomas Baar l'Ecole Polytechnique F ed erale de Lausanne (CH) Fabrice Bouquet l'Universit e de Franche-Comt e (FR) Lionel C. Briand Carleton University, (CA) Alessandra Cavarra University of Oxford (UK) Robert B. France Colorado State University (US) Pascale Le Gall l'Universit e d' Evry (FR) Martin Gogolla Univer...

Système d'aide à l'accès lexical : trouver le mot qu'on a sur le bout de la langue

Le Mot sur le Bout de la Langue (Tip Of the Tongue en anglais), phénomène très étudié par les psycholinguistes, nous a amené nombre d’informations concernant l’organisation du lexique mental. Un locuteur en état de TOT reconnaît instantanément le mot recherché présenté dans une liste. Il en connaît le sens, la forme, les liens avec d’autres mots... Nous présentons ici une étude de développement...

Hernie inguinale de la vessie: à propos de 8 cas

Décrire notre expérience de la prise en charge des hernies inguinales de la vessie (HIV). Il s'agit d'une étude rétrospective descriptive colligeant les dossiers des patients opérés pour une HIV entre janvier 2005 et décembre 2012. Les paramètres suivants ont été étudiés: l'âge des patients, les aspects anatomo-cliniques de la hernie, les circonstances de découverte, l'attitude thérapeutique et...